//#include<stdio.h>
//#include<string.h>
//int main()
//{
//
//		char s[] = "\\123456\123456\t";
//		printf("%d\n", strlen(s));
//		return 0;
//
//}
//#include<stdio.h>
//int main()
//{
//
//	return 0;
//}
